Mendelsonian argument validator