addLine

FromSource

after

ClairvoyantContext

apply

MutableInterestingGivens