@innuendo: Could a formal