avoid crash on lack of args
no need to simplify on inversion