value() implemented