Start implementing high level nef functions