Simplification and separation domain <=> infra