(we still have to check that it is defined, though)