Added: implementation of spec.