Empty placeholder; specification will appear here.