Historical-Dialectical Formal Sciences view 2