Implemented Check-Splitting