Reinstated some Verify... functions