(!a && b) => (a => b)