Should we target specifications or implementations?