I have rewritten my math book (volume 1) with implicit arguments (that is I sometimes write $\bot$ instead of $\bot^{\mathfrak{A}}$ to denote the least element of the lattice $\mathfrak{A}$).