Grice on assumptions

"Any formula may be assumed at any point". This is actually an inference rule. It is so important that Grice numbers it as Number 1.