abstractfact - commit no 4