Using Rob Reed's Logic