fallback implemented; nxt: more specs and demos and refactor