finite structures added