โœ๏ธ Editing: prove