this should be `?assert(otp("R16", "R16")),` or you are lying about the whole greater than or 'equal'