This problem is closely connected to the "big images" challenge, and could/should be treated in collaboration. Modular forms of weight 1 over behave completely differently from forms of higher weights. One feature is that they are very often NOT reductions of holomorphic modular forms. In the course it will be explained how to compute modular forms of weight one. By looking at the image of a weight one form, one can often prove that it is such a non-liftable form. So far, there are many examples over , but only one example for an odd prime, namely for .