the bean shaped swimming pool .