Separating assumptions from calculations