ready to switch to completion instead of exhaustive inference