Dropping a link to Using Reasoning