Mark Baku - Checking the Systems