\begin{Verbatim}[commandchars=\\\{\}]
\PYG{n+nf}{takesSameCourse}\PYG{p}{(}\PYG{n+nv}{Student1}\PYG{p}{,} \PYG{n+nv}{Student2}\PYG{p}{)} \PYG{p}{:\PYGZhy{}} \PYG{n+nf}{takes}\PYG{p}{(}\PYG{n+nv}{Student1}\PYG{p}{,} \PYG{n+nv}{Course}\PYG{p}{),} \PYG{n+nf}{takes}\PYG{p}{(}\PYG{n+nv}{Student2}\PYG{p}{,} \PYG{n+nv}{Course}\PYG{p}{).}
\end{Verbatim}