subconformability
not defined yet