Test of the class of formal methods.