added dense clause