Exploring ways of proving the missionaries and cannibals problem and the teaching implication /