Justifications for omitted functionality