Removing redundant checks