Two basic specs - one using a double