Assertion list for term "lie with first user".

Results from Ascent++: 1
guarantee CapableOflie with first user 0.29