Assertion list
landau (primary) → HasA
Results from Ascent++: 1
landau → HasA → a little faith 0.25