kernel of total order, dziwki!