checked arguments