Input (grade 8): Michaels is the only wrestler to have held both the WWF Championship and the European title at the same time.
Output (grade 9): Michaels was and still is the only wrestler to have held both the WWF Championship and the European title at the same time.