Pattern comments on Algorithmic formalization of FDT?