[ngcc_hk]

I am more worry about those "relax" phrases. Not trusting computer to prove maths, may be I am old style. IT is my career. Maths is my love.