#assumptionchecking