Bstc Reasoning