Some Doku for FTKL