v sup {w sup {x sup {y sup z}}}