abstractfact - commit no 2