ac  \neq  bd