 This says that an implicature is conversational provided conditions (i)–(iii) are satisfied, where (ii) is the condition that S’s believing p is required for S to be in conformity with the Cooperative Principle. The Theoretical Definition does not entail that S implicated p is inferable from (i)–(iii). Calculability does that.