Gives a more formal description of SimTree's behaviour