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