#233 isolation depends on partial ordering