Assertion list
hot wallet (subgroup of wallet ) → ReceivesAction
Results from Ascent++: 2
hot wallet → ReceivesAction → connected to the internet 0.83
hot wallet → ReceivesAction → hacked 0.25