Statement: paphos is the player being released by mkd

Input Table: 2008 - 09 apoel f.c. season

Step 1: Select rows where 'moving_to' is 'paphos'.

nat	name	moving_to	type	transfer_window	transfer_fee	source
gre	machlas	retired	retirement	summer	-	contragr
cyp	makrides	metalurh donetsk	end of contract	summer	free	kerkidanet
ser	čorović	ael limassol	loan return	summer	-	-
cyp	louka	ael limassol	end of contract	summer	free	kerkidanet
gre	kapsis	levadiakos	end of contract	summer	free	-
cyp	daskalakis	aek larnaca	end of contract	summer	free	apoelnet
bra	zé carlos	trofense	contract termination	summer	free	apoelfccomcy
cyp	vourkou	doxa katokopia	loan	summer	free	-
cyp	panayiotou	digenis morphou	loan	summer	free	-
mkd	nikolovski	aep paphos	mutual consent	winter	free	-
cyp	papathanasiou	ermis aradippou	loan	winter	free	-
por	paulo costa	anorthosis famagusta	mutual consent loan return	winter	free	apoelfccomcy

Step 2: Select rows where 'type' is 'mutual consent'.

nat	name	moving_to	type	transfer_window	transfer_fee	source
mkd	nikolovski	aep paphos	mutual consent	winter	free	-

Step 3: Select rows where 'transfer_window' is 'winter'.

nat	name	moving_to	type	transfer_window	transfer_fee	source
mkd	nikolovski	aep paphos	mutual consent	winter	free	-

Step 4: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.

nat	name	moving_to	type	transfer_window	transfer_fee	source
mkd	nikolovski	aep paphos	mutual consent	winter	free	-

verification_result

TRUE