Theory of deduction, Cipher


v20240901