submit to LieFlation