Use ~! when backtracking is unnecessary.