It would be absurd if we did ...

It would be absurd if we did not understand both angels and devils, since we invented them.
It would be absurd if we did not understand both angels and devils, since we invented them.