implement SpecResult