the village has a pub the march hare inn important relations include simulation preorders and bisimulation ibikorwa bisanzwe bya banki nko guha