implication added back