checking added as transducer for value checking