A DERIVATION OF KOHNERT'S ALGORITHM FROM MONK'S RULE