red: added assertions for top level task messages
green: implemented top level task messages