Short specification