intermediate: safety check too eager