more concise specification