From First-Order Logic to Assertional Logic | Read Paper on Bytez