parent set notation revisited, #2 fixed