I stället för den först tillämnade arian “If