Starting ideas on equivalence, literal and functional.