Some TODO code for when Logic is implemented