Further work on a proper discretization of N-S adaptivity example.