predicalemma view 2