assertions for some parameters