Spec tests (actually validated locally)