specification, Gibbs-measure, non-nullness, quasilocality