PLAIN LOGIC

AUTOMATING THE MUNDANE TO LIBERATE THE HUMAN