All tagged proof extracts