density functional theory simulation evidence used in manual assertion