Some basil stuff in equivalencies