Included boundary conditions

BC's need verification and re-derivation.