more asserters and commands