Fixed: spec/impl for "value ="