Initial downcheck implementation.