Function Automatic Logic