Implement Acceptor.
Merge branch `rewrite` into `master`.
Fix function notation.
Merge branch `rewrite` into `master`.