added where a fact was being derived to