first spec for nodef