using Spec for a few specifications