Stratifiers generate properly