Embedded logic -- crossing the paradigm boundary