translate logic chapter till subsection 'derived rules'