The theory and structures of international polica Watches international. Semantic structures in computation ;