initial factspace implementation