stricter sanity_check