Software is discrete mathematics