Update Assumptions

x is lowercase only