If x implies y and x is true then y is true