Suppose there are exactly 733 monks