Assertion list
latch (primary) → MadeOf
Results from Ascent++: 2
latch → MadeOf → steel 0.50
latch → MadeOf → brass 0.35