PRE C-SAT Reasoning Notes