Adding in assumes