\documentclass[11pt]{article}


\begin{document}

\section{Answers}

\renewcommand{\theenumi}{\alph{enumi}}
\renewcommand{\labelenumi}{\theenumi}

\subsection{Answers to Exercises}
These are the answers

	\subsubsection{Question 1 of 10}
  		\textbf{a is correct}. \newline 
		Alloy cannot automatically prove that a model is valid in general but can be used to check whether it is correct up to a certain size. As most errors usually already occur in small instances, using Alloy to exhaustively check a finite scope allows us to gain a fair level of confidence in our model.


	\subsubsection{Question 2 of 10}
		\textbf{c and d are correct}. \newline
		These commands allows us to have at least 2 of each fruit!


	\subsubsection{Question 3 of 10}
		\textbf{c is correct}. 

	\subsubsection{Question 4 of 10}
		\textbf{d is correct}

	\subsubsection{Question 5 of 10}
		\textbf{c is correct}

	\subsubsection{Question 6 of 10}
		\textbf{c is correct} \newline
		Just like in the schema, words map to at most one other word and there can only be one store.

	\subsubsection{Question 7 of 10}

	\subsubsection{Question 8 of 10}

	\subsubsection{Question 9 of 10}

	\subsubsection{Question 10 of 10}


\end{document}