« 'found composition with less' | Main | 'partial existence' »