Prog, Evidence, Query, test