symbolic logic 1586359