Implication view 1