Bocardo Reduction | ReasonSpace