Chsl Reasoning