Use mutable specifications instead.