Text this: Subdirect products of semirings