[2005-02-18] QUB Formal