Product Category : Layered Programs with Backing