Lagus försatt i ('