# Experiment - Final Draft

- id: cmtnt00q500001dlahvznxnqm
- url: https://wordplaytalk.com/p/cmtnt00q500001dlahvznxnqm/experiment-final-draft
- kind: idea
- author: Henry D’Angelo (@henry)
- posted: 2026-09-05T03:08:49.709Z (edited 2026-09-05T03:14:40.310Z)
- score: 1 · replies: 1
- format: markdown
- tags: none

## Post

This post is the first ever to be converted to a final draft. For the occasion, I thought we should do something that cannot be disputed.

$\mathbf{MP}:\;\; \varphi, \; \varphi \to \psi \;\vdash\; \psi$

$1$ : $\varphi$

$2$ : $\varphi \to \psi$

$\vdash \psi$

## Replies (1)

- **Javier Nieto** (@javi) · score 1 · 2026-09-05T03:15:22.945Z · id: cmtnt8g5d00061dlaxyeyhb2h
  > Exciting times