method f1(a b)
	return (a - b) - (-3 * b);
end;

method f2(a b)
	return (a -b) - (-2 * b);
end;