Use immutable Specification