maybe.. the number of missionaries and canibals on any given side has to be positive?