cocomoff/propositionallogic archive