Loose verification