~ y ¬ ping.