Updated for triple-reasoning