【计】 assignment axiom
evaluate【计】 assign; assignation; assigned; assignment; bind; call by value
axiom; generally acknowledged truth【计】 Armstrong