BSTC Reasoning