More specs for initializer