Start working on check-based inference.