Lightweight reasoning for results