Lustre Theory