Removed uneccesary test thanks to logical implications