bug with implications