Hot: addition-equations