Products in formal_shoes Category: