Assertion list
infallibility (primary) → HasPrerequisite
Results from Ascent++: 1
infallibility → HasPrerequisite → time 0.38