arguments for examine now properly checked