Correct Systems by M. Holcombe & Florentin Ipate