Formal Submission category is meant for proposals that have passed the RFC category temperature check.