För en strängt formel uppfattningaf