contest: how to combine logics?