> >

symbolic logic