Fixed at_least bug and added specs