function sample spaces now have testable isomorphic structure