Cross-posted at Blackprof.