Clerical Reasoning for CSE