Data.Logic.Classes.Formula

class Formula formula atom