Refined logic