Assertion list
open mri (subgroup of mri ) → IsA
Results from Ascent++: 1
open mri → IsA → quieter than a conventional mri 0.16