by default, no need to manually analyze
TODOs