\(x: Bool) -> \(x: Bool) -> x && x@1