use Implication operator in Read