Getting Your Logic Written Correctly