Assertion list for term "current, secure".

Results from Ascent++: 1
use HasPropertycurrent, secure 0.28