added Thai's flowchart to fspec