Title: FT-1001 LOGICAL LAWS