Jan comments on Formal Philosophy and Alignment Possible Projects