isnt and nok as functions of is and ok