posas conjecture