Additions to Spec