Results for : assumes