Update specs and add implementation.