no recursive lt definitions allowed