Xで動くソフトがうんこな事は、1で証明されたわけだな?