Prototrash to proven-theory