Introduced Internal module for Spec