Proved a different(!) spec for sized