This is the second lecture on a mini-course on polytopal realizations of combinatorial structures. We discuss realization spaces of polytopes and oriented matroids and Mnëv's universality theorem, showing that it is hard to decide if a given poset is the face lattice of a convex polytope.