modified:   AlphaResolution.hs
	modified:   Main.hs
	modified:   ProsLogic.hs