No results for #assume.