scheme must satisfy.