Implemented proper alpha rule