Type: [[Goal]], [[Not]], [[Done]]