repaired output of primitive logical symbols