strong bellows conjecture