How design is calculating with shapes: formal details and design applications.