Simple Statement In Logic