Artifacts of reddeer.verification #22