Consistency for Cheika