Added tests to include cases of logic functions given less arguments than require