BUG: posterior number check