Data.Logic.Instances.PropLogic