formal p