first attempt at free logic with single FDU