Proof Checking , report preparation
and office management