let is_negatable _ = true