finish converting SEITL to example