MIT MR554292, QHUK, WALDEX, KSW