Spec Guidelines (think Testability)