Aggressive asymmetric razoring take 2 

This is the version that tries to stick close to Marco's take 2 but keeping the more complex arguments.