µ extension for verifying values