further simplifying case