Scanned whole ZF