modifying bTup to allow singleton tup by strengthen-ing