Mixed-time conditions, implied conditions, alternative conditions, and conditions with modal consequences.