Data.Logic.ATP.Meson