Pattern answers Algorithmic formalization of FDT?