correct by construction

صحیح بنابرساخت، صحیح در حین ساخت