initial version specification (incomplete)