checkStep :: [Def]
checkStep = checkStepDef : fancyEq ++ getCapacity ++ anotherBottle
checkStep :: [Def]
checkStep = checkStepDef : fancyEq ++ getCapacity ++ anotherBottle
checkStep = checkStepDef : fancyEq ++ getCapacity ++ anotherBottle