Some Sheets from the taught part of the course on formulation