Side_a -> a and inequality -> equality
REFACTOR
REFACTOR