Product logic