rolefail=willfail somebody=allowed customer=bankCustomer teller=bankTeller