Theory and Data as Constraints — AI Alignment Forum