method w()
	return not 0;
end;

method x()
	return not (not 0);
end;

method y()
	return not 3;
end;

method z()
	return not (not 3);
end;

method aa()
	return not (not (not 0));
end;

method ab()
	return not (not (not 3));
end;