The rest we need for properties-derived.t.