Given the task definition and input, reply with output. Given an entity, a before event, an after event, and an attribute related to the entity, generate a sentence as output. Your sentence should show the changes in the attribute of the entity.

entity: progress 
before: unknown 
after: verified 
attr: knowledge

knowledge of progress was unknown before and verified afterwards