F-Logic: