STAT HOL (1)