prove combination on several levels