summary

Parameters

summary

A one-line summary of the reasoning, once it is done.