phase post-conjecture