Applying formal methods 3.
	skipped linkers, found variants, recognized mistakes