minimiterm - { -12