bstc reasoning