(Much aware of the SW-arch context btw)

This could motivate an algebraic-theological def for Love:

"The Creator cannot be decoupled from His [Software (sorry*)] Creations"

*As in Lean4 syntax, perhaps

https://proofassistants.stackexchange.com/questions/4541/lea...