predicalemma view 3