r17-specification