okay, so change it to `?assert(otp("R16A", "R16A")),