added improved method of declaring assertions