Fragment of Specifications