UPSI Reasoning