Formal order | ALEFAST