Return `Optional<SimpleDomain>`