Leave lay function functions for the next lecture