(n)simplificationelimination of superfluous details