In 1989, Alexander Bukalov cited the human shadow or inner function circuit as being describable using the counter-types paradigm.
У 1989 році Олександр Букалов назвав людину тінь або внутрішня функціональна схема використовуючи парадигму «контр-типів».