# ORIGAMI AXIOMS

## Axiom 1

Given two points, we can fold a line connecting them

`cp.`creaseConnectingPoints (point1, point2)

## Axiom 2

Given two points, we can fold point 1 onto point 2

`cp.`creasePointToPoint (point1, point2)

## Axiom 3

Given two lines, we can fold line 1 onto line 2

`cp.`creaseEdgeToEdge (edge1, edge2)

## Axiom 4

Given a point and a line, we can make a fold perpendicular to the line passing through the point

`cp.`creasePerpendicularThroughPoint (edge, point)

## Axiom 5

Given two points and a line, we can make a fold that places the first point on to the line and passes through the second point

`cp.`creasePointToLine (point1, point2, edge)

## Axiom 6

Given two points and two lines we can make a fold that places the first point onto the first line and the second point onto the second line

oof. this one is hard

`cp.`creaseConnectingPoints (point1, point2)

## Axiom 7

Given a point and two lines we can make a fold perpendicular to the second line that places the point onto the first line

`cp.`creasePerpendicularPointOntoLine (point, edge1, edge2)