Implemented value