How Does Anal Work : Verified Model