  Using full images of accessible functors, we prove some results about
combinatorial and accessible model categories. In particular, we give an
example of a weak factorization system on a locally presentable category which
is not accessible.
