Add Aserts