theory verification