def put = \x. \y.
    place x;
    end;