constructive, math