public class Person { private String name; private BankAccount account; public Person(String n, int limit) { name = n; account = new BankAccount(0,limit); } public void transfer(Person p, int amount) { //@ assert account != p.account; account.transfer(amount,p.account); } }