agda eden kunde tillmätas den af 1 . autagna innebörden.