removed TODO tags
Partial checking of L0