Changed logic to universal form. Imp8d SEQ. Marked MachineTest as incomplete due to lack of supporting universal form.