important relations include simulation preorders and bisimulation nyamara nibyo nubwo gutaka this replied jackson shaking the parchment