Tag: organized proof array anchored to an idea

Persistence.