Finished implementation of WP0