SMS: Peirce's deductive logic