I would rather see the data model be formally specified than the software be free.