Assetions and sortTypes