simpler open logic