Adds a Find Assumption Method