1	import ./broadcast_LAWS.bend as Broadcast
2	import ./broadcast_pointwise_LAWS.bend as BroadcastPointwise
3	import ./reduce_LAWS.bend as Reduce
4	import ./reduce_fold_LAWS.bend as ReduceFold
5	import ./sum_to_size_LAWS.bend as SumToSize
6	import ./sum_to_size_fold_LAWS.bend as SumToSizeFold
7	import ./sum_dims_LAWS.bend as SumDims
8	import ./gradient_LAWS.bend as Gradient
9	import ./backward_LAWS.bend as Backward
10	import ./tensor_backward_LAWS.bend as TensorBackward
11	import ./tensor_vjp_LAWS.bend as TensorVjp
12	import ./tensor_chain_LAWS.bend as TensorChain
13	import ./sgd_LAWS.bend as Sgd