Code-Based Form: Reductio Ad Absurdum