time password subgroup of password, 4 assertions
HasProperty 2
valid 0.61
identical 0.48
ReceivesAction 2
generated 0.68
based on received chall… 0.25