all is functional according to spec