Formal Coat_$P