Assertion list
method (aspect of newton ) → ReceivesAction
Results from Ascent++: 1
method → ReceivesAction → known in the art 0.74