$ F: \color{red}\boxed{\color{white}X} \to \boxed{\color{white}Y} $