Antiformalist view 2