logic-goal


Vocabulary
logic.private

Definition