a more terse version