Added a neat way of handling data, by adding a single proposition in the inst logic