adrian manz proof