For then the property will have been correctly stated in this respect; for of constructive rules for correctness, some will prove correctness in a certain respect only, while others will prove it without qualification.