The proposition 'Every German non-European philosopher is European' has a non-empty subject idea if ...