Antiformalist view 3