function id f instead of x in specs