P
Initializing...
sojournTime_nonneg · Prove2Me