Verified SQUIRTER