{} -> ()