Consistent Reduction I

Opticals Everywhere