Programmeren heeft met logisch redeneren niets te maken.