formatting
refactor verify to use fitness()