Czy potrzeba udowadniać z użyciem programów NASA, że 2 x 2 to 4?