Tight area bounds and provably good AT{sup}2 bounds for sorting circuits | lit.salon