Fiesole, Italy
the 10th I
computer science P
on Deontic L
of desirability P
operator for T
Thou shalt is not you will