add formatting specs
mark not yet implemented specs as pending