logical Y -> y$