Partial implementation of interactive definitions [ci skip]