Integration with Logic, first attempt