Aggressive asymmetric razoring take 2

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