Functionally complete (mostly)