abstractfact - commit no 5