more specification stuff