Edit Denied

Editing not allowed: Curry–Howard is read-only.