abstractfact - commit no 3