diagnostic specification for B