abstractfact - commit no 1