Partial order demo