kdrag.theories.logic.axioms.consider ==================================== .. currentmodule:: kdrag.theories.logic.axioms .. autofunction:: consider