simplify the static examination