Spec and tools