all_is_written_before