MUTABLE by default