the letters u v w x and y are metavariables standing for wffs ibyokurya biva mu bintu imana yatanze nobody wants to be old we all want to live many years