parameterized specs