LOGO 1 proof IV