On the engineering of logics

Add text here…