<tswett> le/rn fundamental theorem of Taneb/The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent.

#!/bin/sh
id=$1
expr "$1" + 0 >/dev/null 2>&1 || exit 1
head -n $((id-1)) quotes >quotes.new
tail -n +$((id+1)) quotes >>quotes.new
diff quotes quotes.new >/dev/null && exit 1
printf "*poof*%s" "$(quote $id | cut -d')' -f2-)"
mv quotes.new quotes