Give Attention To Detail Formally