Subject reduction

ID: subject-reduction

New to topics? Read the docs here!