Med full säkerhet kan man antaga ,alt