Property Logic Re on SplitClub