edit+tard-proof