modulator of order 4, asserts implemented, new experimental class
minior edits