made some further attempts; seems we don't need monotonicity wrt. subset after all