if that is true then this is true