Antiformalist view 1