implementations of assign01