def find_imps(term, path=[]):
	"""Finds all implications (and equivalences) in a term.

	Args:
		term (Term): The term to find implications in.
	
	Returns:
		list of (list of int): List of paths to the implications.

	"""
	imps = []
	if term.operator is None:
		return imps
	if term.operator in ["IMP", "EQV"]:
		imps.append(path)
	for i, operand in enumerate(term.operands):
		imps.extend(find_imps(operand, path + [i]))
	return imps