specs all pass with known values