added shortlemmas