Talk:Ada Programming/Aspects/Write

function Sum (A, B : Number) return Number with Post => (if              A <= 0.0 and B >= 0.0             then               Sum'Result = A + B);