grouping results for consistency, assumptions and guarantees nicely