@@ -169,8 +169,8 @@ Regular: **2-fixed**.
170##### Discussion
170##### Discussion
172−This can be used to obtain type(s) from a list of types `p` that do not satisfy a
172+This can be used to obtain type(s) from a list of types `q` that do not satisfy a
173−requirement given by `q`.
173+requirement given by `p`.
175##### Examples
175##### Examples
@@ -204,8 +204,8 @@ Regular: **2-fixed**.
205##### Discussion
205##### Discussion
207−This can be used to obtain type(s) from a list of types `p` that satisfy a
207+This can be used to obtain type(s) from a list of types `q` that satisfy a
208−requirement given by `q`.
208+requirement given by `p`.
210##### Examples
210##### Examples