reach -> control -> force -> check