modified TLA example SendMoreMoney using subset