Simplified further, avoid inessential higher-orderness