propositional-logic | AgentArea Skills