def:
	hypot a b c
  as:
	sqr aa a
	sqr bb b
	sqr cc c
	+ cc aa bb

if:
	hypot a b c
	>= a 0
	>= b 0
  then:
	>= c a
	>= c b
	+ a+b a b
	>= a+b c

def:
	sqr aa a
  as:
	* aa a a

def:
	sqr aa a
  as:
	^ aa a 2

def:
	cube aaa a
  as:
	* aaa a a a

def:
	cube aaa a
  as:
	^ aaa a 3

if:
	> b a
	> c b
  then:
	> c a
	> c b a

def:
	* p a b
  as:
	* p b a

def:
	* p a 0
  as:
	= p 0

def:
	sibling c1 c2
  as:
	child c1 m f
	child c2 m f

def:
	aunt/uncle a c
	neice/nephew c a
  as:
	child c p
	sibling p a