starting to do rules of inference
now going for a different approach need to do the proof model before I can start deciding how and where im going to apply rules of inference
starting to implement the controller