predicalemma view 1