ps * dsg exp.l Bevisar,