forming verify methods automatically, fixes #6