Work in progress
Add build script
Write cardinality ordering
Add preface
Try to define recursive function