assert + cleaning