Some statements for future specs