a = > c or b <=> c => b and a <=> b