encryption algorithm subgroup of algorithm, 10 assertions